key words logic programming, stable class, argumentation system, abductive reasoning, declarative semantics, proof procedure
英
美
释义
关键词关键词逻辑程序设计,稳定类,辩论系统,溯因推理,程序说明语义,证明过程
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载